data List e = Nil | Cons e (List e)